$\cdot$ $\in$ Realizer